Obfuscation by Partial Evaluation of Distorted Interpreters (Invited Talk) (meta 2012)

Source URL: meta2012.pereslavl.ru

The NAS Parallel Benchmarks in Titanium by Kaushik Datta Research Project Submitted to the Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, in partial satisfaction of the

Source URL: titanium.cs.berkeley.edu

• Object-oriented programming languages
• Procedural programming languages
• Data types
• Benchmark
• Array data structure
• Stencil code
• Fortran
• NAS Parallel Benchmarks
• Array data type
• Array
• Titanium
• Standard Performance Evaluation Corporation

Allocation Removal by Partial Evaluation in a Tracing JIT Carl Friedrich Bolza a

Source URL: bitbucket.org

Fourth IEEE International Conference on eScience Concrete Partial Evaluation in Ruby Andrew Keep Arun Chauhan Dept. of Computer Science

Source URL: www.andykeep.com

BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation

Source URL: www.brics.dk

• Functional languages
• Type theory
• Data types
• Lambda calculus
• Logic in computer science
• Type system
• ML
• OCaml
• Partial evaluation
• Software engineering
• Programming language theory
• Computing

International Statistical Review (2012), 80, 3, 382–399 doi:j00189.x Evaluating, Comparing, Monitoring, and Improving Representativeness of Survey Response Through R-Indicators and Partial R-In

Source URL: www.risq-project.eu

• Psychometrics
• Evaluation methods
• Research methods
• Paradata
• Survey methodology
• Non-response bias
• Correlation and dependence
• Response rate
• Missing data
• Statistics
• Data collection
• Sampling

Implementing circularity using partial evaluation Julia L. Lawall? DIKU, University of Copenhagen Universitetsparken 1 DK-2100 Copenhagen, Denmark

Source URL: www.diku.dk

BRICS Basic Research in Computer Science BRICS RSDanvy & Rhiger: Compiling Actions by Partial Evaluation, Revisited Compiling Actions by Partial Evaluation,

Source URL: www.brics.dk

BRICS Basic Research in Computer Science BRICS RSO. Danvy: Online Type-Directed Partial Evaluation Online Type-Directed Partial Evaluation

Source URL: www.brics.dk

BRICS RSH. K. Rohde: Measuring the Propagation of Information in Partial Evaluation BRICS Basic Research in Computer Science

Source URL: www.brics.dk